| author | Glenn Morris <rgm@gnu.org> | |
| Sat, 22 Dec 2012 20:29:16 +0000 (12:29 -0800) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Sat, 22 Dec 2012 20:29:16 +0000 (12:29 -0800) | ||
| commit | 2144f0de05559495a5accaaac28a89b38ad8ea93 | |
| tree | 0c57d4514997b94775bde18f4923079f28e54ecb | tree | snapshot |
| parent | 446abfb08a5a531b9f2d14c85ccceebb34d33bfd | commit | diff |
| doc/misc/ChangeLog | diff | blob | history | |
| doc/misc/reftex.texi | diff | blob | history |